perm filename MOORE.RE2[LET,JMC] blob
sn#346269 filedate 1978-04-02 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .require "let.pub[let,jmc]" source
C00004 ENDMK
C⊗;
.require "let.pub[let,jmc]" source;
∂MEM Preston Cutler$$Robert C. Moore$∞
Robert C. Moore is currently finishing an M.I.T. Ph.D thesis
under the direction of myself and Marvin Minsky. My interest in his
work stems from his Master's thesis which was an excellent critical
survey of some problems that had been papered over in the then current
M.I.T. approach to problem solving computer programs. The M.I.T.
people observed that his proposed remedies were closer to my interests
than to those of any M.I.T. faculty member, so he undertook to finish
his thesis here at the Stanford Artificial Intelligence Laboratory.
Moore is one of the few people with a detailed knowledge of
both the analytic philosophical literature and the details of the
AI literature in problem solving and AI languages. His thesis is on
the treatment of knowledge and other modal concepts within an AI
framework. His interests and abilities make him an excellent member
of a study covering both philosophy and artificial intelligence.
John McCarthy